shark 5 pro vs f4 gt